integration of sec^3x